<?php

exit(__FILE__);